GaeaPN: A Petri Net Model for the Management of Data and Metadata Derivations in Scienti c Experiments

نویسندگان

  • Nabil I. Hachem
  • Ke Qiu
  • Nina Serrao
  • Michael A. Gennert
چکیده

One important aspect of scienti c data management is metadata management. Metadata is broadly de ned as information about data (e.g., content, source, processing applied, precision). One kind of metadata which needs special attention is the data derivation information, i.e., how data are generated. In our application domain of geographical information systems (GIS) and global change research, we view scienti c objects according to three di erent extents: spatial, temporal, and derivation. Extents are dimensions along which domain users \naturally" access and select information from the database. While the spatial and temporal extents have been studied and formal semantics to those extents proposed, derivation semantics have been ignored. In this paper, we present our own view of what metadata is and propose extensions to current database models to include implicit metadata management. We formulate a de nition of extents as dimensions of metadata, and speci cally discuss derivation metadata and the semantics of such specialized relationships. The proposed model, GaeaPN, is based on a variation of Petri Nets and extends current models such as the object-oriented data model. Petri nets are interpreted as a model to capture and manage data derivation relationships between scientifc data as well as the procedures and algorithms to derive data. We formulate the basic model, study its closure with respect to a \metadata space," as well as its closure with repect to database states. The important contributions of this work are... ... We believe that this framework, useful for GIS and global change studies, generalizes well to other scienti c elds. This work is supported by the National Science Foundation under Contract IRI-9116988.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Time Management Approach on a Discrete Event Manufacturing System Modeled by Petri Net

    Discrete event system,   Supervisory control,   Petri Net, Constraint   This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states an...

متن کامل

Petri Net Modeling for Parallel Bank ATM Systems

In this paper the real time operation of an automatic teller machine (ATM) is analyzed using aTimed Petri Net (TPN) model. In the modeling, the probability of arrivals, the speed andattentiveness of customers (clients) are taken to account. Different parameters are based onthe statistical data. The model is simulated for 24 hours. The diagrams of number ofsucceeded customers, failed references ...

متن کامل

Modeling and Performance Evaluation of Energy Consumption in S-MAC Protocol Using Generalized Stochastic Petri Nets

One of the features of wireless sensor networks is that the nodes in this network have limited power sources. Therefore, assessment of energy consumption in these networks is very important. What has been common practice has been the use of traditional simulators to evaluate the energy consumption of the nodes in these networks. Simulators often have problems such as fluctuating output values i...

متن کامل

A Petri-net based modeling tool, for analysis and evaluation of computer systems

Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...

متن کامل

A Formal Petri Net Based Model for Antivirus Update Agent System

In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1994